halting problem
pl: halting problems
Related Words
algorithmcomputabilitydecidabilityundecidabilityrecursionlogiccomputationprogramcodesoftwarecompilerinterpretercomplexityproofcontradictionparadoxdiagonalizationset theoryformal languageautomatonstate machineinputoutputloopterminationconvergencedivergenceoraclefunctionmappingbooleanbinarylogic gatememorystackpointervariableconstantaxiomtheoremlemmacorollarylambda calculustapesymbolalphabetexecutionruntimeanalysisverificationvalidationheuristicapproximationlimitboundcomplexity classdeterminismnondeterminism